A Script generator for ARM Shine